袁岚峰：您的这个方法叫做非公理推理系统，简称NARS（非公理推理系统），请问这是个什么系统？为什么它要从推理入手？为什么它又是要非公理呢？

岚峰 锚点 公理 nars 公理推理 2025-10-02 11:17  5